Logic and Information Flow
نویسندگان
چکیده
منابع مشابه
Information flow in logic programming
This paper proposes a theoretical foundation of what could be an information flow in logic programming. Several information flow definitions (based on success/failure, substitution answers, bisimulation between resolution trees of goals) are stated and compared. Decision procedures are given for each definition and complexity is studied for specific classes of logic programs.
متن کاملLogic of information flow on communication channels
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modeling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our ...
متن کاملTowards an information flow in logic programming
This paper proposes a theoretical foundation of what could be an information flow in logic programming. Several information flow definitions (based on success/failure, substitution answers, bisimulation between goals) are stated and compared. Decision procedures are given for each definition and complexity is studied for specific classes of logic programs.
متن کاملOn the Logic of Information Flow
This paper is an investigation into the logic of information ow. The basic perspective is that logic ows in virtue of constraints (as in 7]), and that constraints classify channels connecting particulars (as in 8]). In this paper we explore some logics intended to model reasoning in the case of idealized information ow, that is, where the constraints involved are exceptionless. We look at this ...
متن کاملLogic of Information Flow on Communication Channels
In this paper, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.3.259